How to Solve Sudoku without Guessing